Books by author Jim Woodcock

Showing 1 – 14 out of 14 results

1. 

   Software Engineering for Robotics

   Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock | Springer Nature Switzerland AG, 2022

   
   

   In stock at our supplier - Shipping in 8 - 11 days

   Language: English

   Binding: Paperback

   123.17 €

   Sale 7 %

   You save 10.30 €

   Buy
2. 

   Theories of Programming and Formal Methods

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
3. 

   Refinement Techniques in Software Engineering

   Ana Cavalcanti, Augusto Sampaio, Jim Woodcock | Springer, Berlin, 2006

   
   

   Low in stock at our supplier - Shipping in 13 - 18 days

   Language: English

   Binding: Paperback

   55.68 €

   Buy
4. 

   Formal Methods and Hybrid Real-Time Systems

   Cliff B. Jones, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
5. 

   Verified Software: Theories, Tools, Experiments

   Natarajan Shankar, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
6. 

   Theoretical Aspects of Computing -- ICTAC 2013

   Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
7. 

   Dependable Software Engineering. Theories, Tools, and Applications

   Wenhui Zhang, Jim Woodcock | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   77.07 €

   Sale 7 %

   You save 6.49 €

   Buy
8. 

   Formal Methods: Foundations and Applications

   Marcel Vinícius Medeiros Oliveira, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2009

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.54 €

   Sale 7 %

   You save 4.27 €

   Buy
9. 

   Software Engineering for Robotics

   Brijesh Dongol, Jim Woodcock, Jon Timmis, Rob Hierons | Springer Nature Switzerland AG, 2021

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   123.17 €

   Sale 7 %

   You save 10.30 €

   Buy
10. 

    Theoretical Aspects of Computing

    Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock | Springer, Berlin, 2010

    
    

    Low in stock at our supplier - Shipping in 14 - 21 days

    Language: English

    Binding: Paperback

    55.88 €

    Buy
11. 

    Unifying Theories of Programming and Formal Engineering Methods

    Zhiming Liu, Jim Woodcock, Huibiao Zhu | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2013

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    51.54 €

    Sale 7 %

    You save 4.27 €

    Buy
12. 

    Formal Methods and Software Engineering

    Jin Song Dong, Jim Woodcock | Springer, Berlin, 2003

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.69 €

    Sale 7 %

    You save 8.60 €

    Buy
13. 

    Verified Software: Theories, Tools, Experiments

    Bertrand Meyer, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    102.69 €

    Sale 7 %

    You save 8.60 €

    Buy
14. 

    Domain Modeling and the Duration Calculus

    Chris George, Zhiming Liu, Jim Woodcock | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2007

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Paperback

    55.68 €

    Buy

Returning customers have discounts and benefits. Find out more